$\forall$$A$, $B$:Type. 1{-}1{-}Corresp($A$;$B$) $\in$ $\mathbb{P}$